15,169 research outputs found
Reducts of the random bipartite graph
Let be the random bipartite graph, a countable graph with two
infinite sides, edges randomly distributed between the sides, but no edges
within a side. In this paper, we investigate the reducts of that
preserve sides. We classify the closed permutation subgroups containing the
group , where is the group of all isomorphisms
and anti-isomorphisms of preserving the two sides. Our results rely on
a combinatorial theorem of Ne\v{s}et\v{r}il-R\"{o}dl and a strong finite
submodel property for
Turing machines based on unsharp quantum logic
In this paper, we consider Turing machines based on unsharp quantum logic.
For a lattice-ordered quantum multiple-valued (MV) algebra E, we introduce
E-valued non-deterministic Turing machines (ENTMs) and E-valued deterministic
Turing machines (EDTMs). We discuss different E-valued recursively enumerable
languages from width-first and depth-first recognition. We find that
width-first recognition is equal to or less than depth-first recognition in
general. The equivalence requires an underlying E value lattice to degenerate
into an MV algebra. We also study variants of ENTMs. ENTMs with a classical
initial state and ENTMs with a classical final state have the same power as
ENTMs with quantum initial and final states. In particular, the latter can be
simulated by ENTMs with classical transitions under a certain condition. Using
these findings, we prove that ENTMs are not equivalent to EDTMs and that ENTMs
are more powerful than EDTMs. This is a notable difference from the classical
Turing machines.Comment: In Proceedings QPL 2011, arXiv:1210.029
The Land Analysis System (LAS)
The Land Analysis System (LAS) is an interactive software system, available in the public domain, for the analysis, display, and management of multispectral and other digital image data. The system was developed to support earth sciences research and development activities. LAS provides over 240 applications functions and utilities, a flexible user interface, complete on-line and hardcopy documentation, extensive image data file management, reformatting, and conversion utilities, and high level device independent access to image display hardware. The capabilities are summarized of the latest release of the system (version 5). Emphasis is given to the system portability and the isolation of hardware and software dependencies in this release
- …